$\forall$${\it es}$:ES, $x$, $i$:Id. $x$ initially@$i$  $\in$ vartype($i$;$x$)